Contribution to the Design and the Semantics of a Data-Parallel Logic Programming Language

We propose an alternate approach to the usual introduction of parallelism in logic programming. Instead of detecting the intrinsic parallelism by an automatic and complex data-ow analysis, or upgrading standard logic languages by explicit concurrent control structures leading to task-oriented languages, we tightly integrate the concepts of the data-parallel programming model and of logic programming in a kernel language, called DP-Log. It ooers a simple centralized and synchronous vision to the programmer. We give this language a declarative and a distributed asynchronous operational semantics. The equivalence theorem of these semantics establishes the soundness of the implementation. The expressiveness of the language is illustrated on examples. This document is an extended version of 18] which incorporates a missing proof. R esum e. Nous proposons une alternative aux approches classiques de l'introduction du parall elisme en programmation logique. Au lieu de d e-tecter le parall elisme intrins eque par une analyse automatique et com-plexe du ot de donn ees, ou bien d' etendre un langage logique par des constructions concurrentes explicites qui engendrent du parall elisme de t^ aches, nous int egrons etroitement les concepts du mod ele de pro-grammation data-parall ele et de la programmation logique dans un lan-gage noyau appel e DP-log. Celui-ci oore une vision simple, central-is ee et synchrone, au programmeur. Nous lui donnons une s emantique d eclarative et une s emantique op erationelle distribu ee et asynchrone. Le th eor eme d' equivalence de ces deux s emantiques etablit la correction de l'implantation. L'expressivit e du langage est illustr ee sur quelques ex-emples. Ce document est une version etendue de 18] qui comprend une preuve manquante.